// 用差分约束系统解决？